翻訳と辞書 |
Erasure (logic) : ウィキペディア英語版 | Erasure (logic) In mathematical logic, a logical system has the erasure property if and only if no subset of the propositions can be added to another subset of the propositions to refute a consequence. For instance, if proposition A means "the store is open from 8:00 to 22:00" and proposition B means "except Tuesdays", the system AB does ''not'' have erasure. == See also ==
* Monotonic logic in “mathematical logic” * (Peirce's Logic ) at the "Stanford Encyclopedia of Philosophy"
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Erasure (logic)」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|